• अनुप्रयोगी क्रम | |
applicative: आनुप्रायोगिक | |
order: प्रणाली अनुशासन | |
applicative order मीनिंग इन हिंदी
applicative order उदाहरण वाक्य
उदाहरण वाक्य
- Applicative order is not a normalising strategy.
- For example, using applicative order reduction, the following sequence of reductions is possible:
- By contrast, applicative order reduction may not terminate, even when the term has a normal form.
- The positive tradeoff of using applicative order is that it does not cause unnecessary computation, if all arguments are used, because it never substitutes arguments containing redexes and hence never needs to copy them ( which would duplicate work ).